19

A temporal logic approach to object certification

Year:
1996
Language:
english
File:
PDF, 1.58 MB
english, 1996